1. Constructing quality software: proceedings of the IFIP working conference on constructing quality software
المؤلف: / edited by P. G. Hibbard, S. A. Schuman
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronic digital computers - Programming - Congresses,Programming languages (Electronic computers) - Congresses
رده :
001
.
6425
I23c
1977
2. ESOP '90
المؤلف: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones )eds.(,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Programming languages )Electronic computers( - Congresses
رده :
QA
.
E976
76
.
6
1990
3. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
المؤلف: edited by B. Robinet and R. Wilhelm
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
213
4. ESOP 86 : European Symposium on Programming, Saarbrغucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
المؤلف: European Symposium on Programming, )1st, 6891, Saarbrucken, Germany(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1986
5. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
المؤلف: European Symposium on Programming, )2nd, 8891, Nancy, France(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1988
6. ESOP' 90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18 1990: Proceedings
المؤلف: N. Jones )ed.(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
E976
1990
7. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
المؤلف: European Symposium on Programming, )3rd, 0991, Copenhagen, Denmark(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1990
8. Formal description technique
المؤلف: / edited by K.R. Parker, G.A. Rose
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
9. Formal description techniques, II
المؤلف: / Edited by Son T. Vuong
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
10. Formal description techniques III
المؤلف: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
11. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
المؤلف: edited by Jeffrey M. Tobias
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
79
12. Language hierarchies and interfaces : international summer school
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
L335
13. Language hierarchies and interfaces : international summer school
المؤلف: F. L. Bauer ... )et al.( ; edited by F. L. Bauer and K. Samelson
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
46
14. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
المؤلف: edited by Austin Melton
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
239
15. Mathematical foundations of computer science 1986; Proceedings of the 12th symposium Bratislava, Czechoslovakia, August 25-29, 1986
المؤلف: edited by J. Gruska
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
233
16. Perspectives on computer science; from the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic Computers(-- Congresses
رده :
QA
75
.
5
.
P47
17. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991
المؤلف: / sponsored by the ACM Special Interest Group SIGPLAN in cooperation with IFIP
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
76
.
7
.
S97
1991
18. Proceedings 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, maryland
المؤلف: sponsored by IEEE Computer Society Technical Committee on Software Engineering, the Association for Computing Machinery / SIGSOFT
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Software engineering - Congresses, Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1993
19. Proceedings 16th International Conference on Software Engineering, May 16-21, 1994, Sorrento, Italy
المؤلف: sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM Special Interest Group on Software Engineering )SIGSOFT(, Associazione Italiana per l Informatica ed il Calcolo Automatico )AICA(
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming - Congresses , Software engineering - Congresses , Programming languages )Electronic computers( - Congresses
رده :
QA
76
.
6
.
I573
1994
20. Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings
المؤلف: Donald Sannella, ed
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
788
